\begin{problema}{keywordsTopTE}{t:TelCO}{[Keyword]}
	\asegura {(\forall k \selec result) k \in conjuntoDeTodasLasKeywords(t)}
	\asegura[noSobran] {(\forall k \selec result) esTop(t,k)}
	\asegura[noFaltan] {(\forall j \selec conjuntoDeTodasLasKeywords(t), esTop(t,j))j \in result}
	\asegura {sinRepetidos(result)}\medskip \medskip	
\end{problema}

\begin{aux}{keywordsEnviadas}{t: TelCO, k: Keyword}{\ent}{\\
	\sum \comp {\beta ( k \in damePalabras(texto(prm(r))))}{u \selec usuarios(t),r \selec mensajes(u,t)}))
}
\end{aux}

\medskip

\begin{aux}{conjuntoDeTodasLasKeywords}{t:TelCO}{[Keyword]}{
	concat \comp{keywords(s)}{g \selec gateways(t), s \selec trivias(g)}
}
\end{aux}

\medskip

\begin{aux}{esTop}{t:Telco, k:Keyword}{Bool}{ \\
(\forall j \selec conjuntoDeTodasLasKeywords(t))keywordsEnviadas(t,k) \geq keywordsEnviadas(t,j)
}
\end{aux}
	
% Creo que ah� est� bien. La idea es que nos fijamos en el texto entero de los
% primeros elementos de la dupla mensaje. La keyword podr�a estar tanto en la
% primera palabra como en la segunda (por ej., en Baja Trivia la keyword era la
% segunda palabra. De cualquier forma, revisar.

%Aprobado por Lea Lunes 26 de Septiembre
	